<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Allgemeiner Unsinn</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Allgemeiner_Unsinn"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Allgemeiner_Unsinn rootpage-Allgemeiner_Unsinn skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Allgemeiner Unsinn</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>In der <a href="Mathematik" title="Mathematik">Mathematik</a> werden unter der Bezeichnung <b>allgemeiner Unsinn</b> (<span style="font-style:normal;font-weight:normal"><a href="Englische_Sprache" title="Englische Sprache">englisch</a></span> <span lang="en-Latn" style="font-style:italic"><i>abstract nonsense</i>, <i>general nonsense</i></span>) Beweise zusammengefasst, die sich abstrakter <a href="Kategorientheorie" title="Kategorientheorie">kategorientheoretischer</a> Argumente bedienen. Die Bezeichnung ist in der Regel nicht abwertend zu verstehen.
</p>
<div class="mw-heading mw-heading2"><h2 id="Geschichte">Geschichte</h2></div>
<p>Als Geburtsstunde der Kategorientheorie gilt gemeinhin die 1942 von <a href="Samuel_Eilenberg" title="Samuel Eilenberg">Samuel Eilenberg</a> und <a href="Saunders_MacLane" class="mw-redirect" title="Saunders MacLane">Saunders MacLane</a> veröffentlichte Arbeit <i>General Theory of Natural Equivalences.</i><sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> Laut MacLane wurde die Theorie der Kategorien damals von einigen Leuten <a href="Pejorativum" title="Pejorativum">pejorativ</a> als <i>general abstract nonsense</i> bezeichnet.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>
</p><p>Die Popularisierung des Begriffs mit einer nicht-pejorativen Bedeutung wird heute <a href="Norman_Steenrod" title="Norman Steenrod">Norman Steenrod</a> zugeschrieben.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>
</p><p>In den ersten beiden Auflagen des bekannten Algebra-Lehrbuches von <a href="Serge_Lang" title="Serge Lang">Serge Lang</a> gibt es eine Übungsaufgabe:<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>
</p>
<blockquote><p>„Take any book on homological algebra, and prove all the theorems without looking at the proofs given in that book.“
</p><dl><dd>Nehmen Sie ein beliebiges Buch über homologische Algebra und beweisen Sie all die Sätze ohne Blick auf die Beweise in diesem Buch.</dd></dl></blockquote>
<blockquote><p>„Homological algebra was invented by Eilenberg-MacLane. General category theory (i.e., the theory of arrow-theoretic results) is generally known as abstract nonsense (the terminology is due to Steenrod).“
</p><dl><dd>Homologische Algebra wurde von Eilenberg-MacLane erfunden. Allgemeine Kategorientheorie, d. h. die Theorie abstrakter Morphismen, ist allgemein als Abstrakter Unsinn bekannt, die Terminologie geht auf Steenrod zurück.</dd></dl></blockquote>
<p>In der dritten Auflage von 1993 fehlt diese Aufgabe, dafür steht in der Einleitung zu <i>Part Four: Homological Algebra</i>:
</p>
<blockquote><p>In the forties and fifties (mostly in the works of Cartan, Eilenberg, MacLane, and Steenrod, see [CaE 57]), it was realized that there was a systematic way of developing certain relationships of linear algebra, depending only on fairly general constructions which were mostly arrow-theoretic, and were affectionately called abstract nonsense by Steenrod.
</p><dl><dd>In den 40er und 50er Jahren (vor allem in den Arbeiten von Cartan, Eilenberg, MacLane und Steenrod) bemerkte man, dass es eine systematische Art der Entwicklung gewisser Beziehungen der linearen Algebra gibt, die nur von ziemlich allgemeinen Konstruktionen abhängt, von denen die meisten morphismen-theoretisch sind und von Steenrod liebevoll als abstrakter Unsinn bezeichnet wurden.</dd></dl></blockquote>
<div class="mw-heading mw-heading2"><h2 id="Beispiele">Beispiele</h2></div>
<p>Typische Beispiele sind
</p>
<ul><li>Beweise mittels <a href="Diagrammjagd" class="mw-redirect" title="Diagrammjagd">Diagrammjagden</a>: eine Beweismethode in der <a href="Homologische_Algebra" title="Homologische Algebra">homologischen Algebra</a>, die die <a href="Kommutatives_Diagramm" title="Kommutatives Diagramm">Kommutativität von Diagrammen</a>, die <a href="Injektivit%C3%A4t" class="mw-redirect" title="Injektivität">Injektivität</a>, <a href="Surjektivit%C3%A4t" class="mw-redirect" title="Surjektivität">Surjektivität</a> oder <a href="Bijektivit%C3%A4t" class="mw-redirect" title="Bijektivität">Bijektivität</a> von <a href="Morphismus" title="Morphismus">Morphismen</a> oder die <a href="Exakte_Sequenz" title="Exakte Sequenz">Exaktheit von Sequenzen</a> ausnutzt. Ein Beispiel ist die Konstruktion des verbindenden Homomorphismus im Beweis des <a href="Schlangenlemma" title="Schlangenlemma">Schlangenlemmas</a>.</li>
<li>Verwenden einer <a href="Universelle_Eigenschaft" title="Universelle Eigenschaft">universellen Eigenschaft</a> oder <a href="Adjunktion_(Kategorientheorie)" title="Adjunktion (Kategorientheorie)">adjungierter Funktoren</a>.</li>
<li>Anwendungen des <a href="Lemma_von_Yoneda" title="Lemma von Yoneda">Lemmas von Yoneda</a>.</li></ul>
<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Michael Barr: <a rel="nofollow" class="external text" href="http://permalink.gmane.org/gmane.science.mathematics.categories/731"><i>Re: Who said: General Abstract Nonsense.</i></a> 20. Mai 1998</span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Saunders Mac Lane: <a rel="nofollow" class="external text" href="http://www.pnas.org/content/94/12/5983.full"><i>The PNAS way back then.</i></a> Gemeint ist Eilenberg-MacLane: <i>Natural isomorphisms in group theory.</i> Proc. Natl. Acad. Sci. USA 1942, Nr. 28, S. 537–543.</span>
</li>
<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">Colin McLarty: <i>The Uses and Abuses of the History of Topos Theory.</i> Brit. J. Phil. Sci, 41 (1990) S. 355.: "Steenrod jokingly tagged category theory 'abstract nonsense' and made it central to his axiomatics for homology"</span>
</li>
<li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text">Charles A. Weibel: Buchrezension zu Joseph Rotman: <i>An Introduction to Homological Algebra.</i> Bull. Amer. Math. Soc., 33:4 (Oktober 1996), S. 473–476.: "The self-deprecating phrase <i>general abstract nonsense</i> (due to Steenrod) was promulgated by Eilenberg and Mac Lane, two of the major innovators of homological algebra, to highlight this aspect of the subject."</span>
</li>
<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://books.google.at/books?id=Fge-BwqhqIYC&pg=PA924#v=onepage&q&f=false">2. Auflage von 1984</a> (Langs Buch gilt als Standardwerk. Aus der Besprechung in den <i>Notices of the American Mathematical Society</i>: "Lang's Algebra changed the way graduate algebra is taught, retaining classical topics but introducing language and ways of thinking from category theory and homological algebra. It has affected all subsequent graduate-level algebra books.") </span>
</li>
</ol></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2022-12-20" href="https://de.wikipedia.org/wiki/?title=Allgemeiner_Unsinn&oldid=229034155">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>